3 search results for "author:"Luc Maranget""

Showing 1 - 3
  1. 5.01
    LGPL-2.0-or-later
    Used by 0 other packages
    24 Oct 2014
  2. The herdtools suite for simulating and studying weak memory models
    7.57
    CECILL-B
    Used by 0 other packages
    30 Apr 2024
  3. A quite complete and fast LATEX to HTML translator
    2.36
    QPL-1.0 WITH OCaml-LGPL-linking-exception
    Used by 2 other packages
    03 Jan 2023